Airport Emergency Rescue Model Establishment and Performance Analysis Using Colored Petri Nets and CPN Tools
نویسندگان
چکیده
منابع مشابه
modeling and performance analysis of restaurant's service delivery process using colored petri nets
process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process. in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...
متن کاملmodeling and performance analysis of restaurant's service delivery process using colored petri nets
process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process. in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...
متن کاملCPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between net elements. The tool features incremental syntax checking and code generation which take place while...
متن کاملModeling and Analysis of Security Protocols Using Colored Petri Nets
Security protocols are the basis of security in networks. Therefore, it is essential to ensure that these protocols function correctly. However, it is difficult to design security protocols that are immune to malicious attack, since good analysis techniques are lacking. In this paper, the current main analysis techniques using Colored Petri Nets (CP-Nets) for analysis of security protocols are ...
متن کاملAirport Traffic Simulation Using Petri Nets
Airport traffic consists of aircraft performing landing, takeoff and taxi procedures. It is controlled by air traffic controller (ATC). To safely perform this task he/she uses traffic surveillance equipment and voice communication systems to issue control clearances. One of the most important indicators of this process efficiency is practical airport capacity, which refers to the number of airc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Aerospace Engineering
سال: 2018
ISSN: 1687-5966,1687-5974
DOI: 10.1155/2018/2858375